projects / cargo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 3708b12 f49c883)
Auto merge of #3632 - Susurrus:master, r=alexcrichton
authorbors <bors@rust-lang.org>
Sun, 5 Feb 2017 22:29:03 +0000 (22:29 +0000)
committerbors <bors@rust-lang.org>
Sun, 5 Feb 2017 22:29:03 +0000 (22:29 +0000)
commit4ce099bf4c0abd73e01695a4dee71d8fa62806a9
treecce8f316465f3972f3db5de9ae31b73eaef8e98ftree | snapshot
parent3708b123fe8f135fae68b390bbb605efbfbcc0d1commit | diff
parentf49c8836e618960a4151ccf1a112c379709af1dacommit | diff
Auto merge of #3632 - Susurrus:master, r=alexcrichton

Document build badge for Gitlab CI

This doesn't make sense to merge until rust-lang/crates.io#539 is merged, but I figured I'd get it all spooled up since that PR is already ready for merging.
Unnamed repository; edit this file 'description' to name the repository.